Object theory - PDFSEARCH.IO - Document Search Engine

Object theory
Results: 981

#	Item
101	Recursive Object-Oriented Modules Keiko Nakata1 1 Akira Ito2 Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2005-03-03 03:55:18 Homological algebra Module theory Algebraic geometry Module D-module Flat module
102	What’s YOUR Theory? Driver diagram serves as tool for building and testing theories for improvement by Brandon Bennett and Lloyd Provost Add to Reading List Source URL: www.apiweb.org Language: English - Date: 2015-07-30 14:57:58 Process management Education Professional studies Business Educational psychology Business process W. Edwards Deming Object Process Methodology Business process management Educational technology Scientific modelling
103	Accelerating Dynamic Detection of Uses of Undefined Values with Static Value-Flow Analysis Ding Ye, Yulei Sui, Jingling Xue Programming Languages and Compilers Group School of Computer Science and Engineering Click to ed Add to Reading List Source URL: cgo.org Language: English - Date: 2014-03-05 20:23:50 Data types Procedural programming languages C++ Object-oriented programming languages Theory of computation Undefined value Const Valgrind Undefined Reference ALGOL 68 Pointer
104	Context Object Theory Computational Models Add to Reading List Source URL: mally.stanford.edu Language: English Logic Philosophy Abstraction Modal logic Modality Non-classical logic Philosophical logic Model theory First-order logic
105	Generic Promotion of Diffusion-Based Salient Object Detection Peng Jiang 1 Nuno Vasconcelos 2 Jingliang Peng 1 ∗ Add to Reading List Source URL: www.cv-foundation.org Language: English - Date: 2015-10-24 14:57:15 Algebra Mathematics Linear algebra Matrix theory Algebraic graph theory Computer vision Image processing Saliency map Eigenvalues and eigenvectors Spectral clustering Eigendecomposition of a matrix Laplacian matrix
106	___________________________________ ___________________________________________________________________________________________________________________________________________ 0 ___________________________________ Add to Reading List Source URL: stroustrup.com Language: English - Date: 2012-10-03 14:24:46 Software engineering Computing Programming language theory Procedural programming languages Object-oriented programming languages Cross-platform software Andrew Koenig C C++ Cfront Ada Dennis Ritchie
107	Tracing ambiguity in GADT type inference Jacques Garrigue∗ Didier R´emy† Abstract Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2012-09-06 08:22:15 Type theory Data types Functional languages Type systems Object-oriented programming languages OCaml Type inference Generalized algebraic data type Unification ML HindleyMilner type system Type conversion
108	Code reuse through polymorphic variants∗ Jacques Garrigue November 8, 2000 Abstract Their support for code reuse has made object-oriented languages popular. However, Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2005-02-23 20:45:34 Software engineering Computer programming Declarative programming Functional programming Data types Type theory Eval Standard ML Anonymous function HindleyMilner type system OCaml Polymorphism
109	On variance, injectivity, and abstraction Jacques Garrigue 1 Introduction Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2013-08-04 23:16:28 Software engineering Type theory Object-oriented programming Computing Computer programming Data types Polymorphism Functional programming Covariance and contravariance Subtyping Generalized algebraic data type Variance
110	An Object Storage Model for the Truffle Language Implementation Framework Andreas W¨oß∗ Christian Wirth† Add to Reading List Source URL: chrisseaton.com Language: English - Date: 2016-02-28 16:25:13 Software engineering Computing Computer programming Data types Object-oriented programming Type theory Cross-platform software Immutable object JavaScript Const Method Java

UPDATE